#ifndef __SPECIAL_H__
#define __SPECIAL_H__

make_helper(inv);
make_helper(temu_trap);
make_helper(temu_bad_trap);

uint32_t __SE(uint32_t);
uint32_t SignalException(uint32_t);

#endif
